Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
41	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
42	MCS 441 – Theory of Computation I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 12:00-12:50pm, Lincoln Hall (TH) 205 Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-11 11:14:04 Theory of computation Theoretical computer science Computability theory Computer science Alan Turing Turing machine Computational complexity theory Computability Reduction Halting problem Complexity ChurchTuring thesis
43	J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:55:14 Finite automata Computability Deterministic automaton Computational complexity theory Deterministic finite automaton Finite-state machine Regular language Reduction Algorithm Theoretical computer science Mathematics Cognitive science
44	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-28 11:41:55 Software engineering Computer programming Recursion Computability theory Theory of computation Subroutines Theoretical computer science Infinite loop This Anonymous function Stack Mutual recursion
45	Lecture 30: Considerations When Using Collective Operations William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-13 14:27:53 Theoretical computer science Computer programming Software engineering Computability theory Computing Pipeline Algorithm Recursion
46	The International Olympiad in Informatics Syllabus 1 Version and status information Add to Reading List Source URL: ioinformatics.org Language: English - Date: 2013-10-04 02:55:48 Computer programming Software engineering Mathematics Recursion Theoretical computer science Operations research Computability theory International Olympiad in Informatics International Science Olympiad Algorithm Sorting algorithm Computational complexity theory
47	Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics Add to Reading List Source URL: folk.uio.no Language: English - Date: 2006-03-17 08:01:43 Computer programming Software engineering Mathematics Recursion Programming idioms Computability theory Functions and mappings Subroutines Monad Primitive recursive function Function Subtyping
48	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
49	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
50	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function